A hybrid neural network for input that is both categorical and quantitativeBROUWER, Roelof K.International journal of intelligent systems. 2004, Vol 19, Num 10, pp 979-1001, issn 0884-8173, 23 p.Article

Detecting data races in sequential programs with DIOTARONSSE, Michiel; MAEBE, Jonas; DE BOSSCHERE, Koen et al.Lecture notes in computer science. 2004, pp 82-89, issn 0302-9743, isbn 3-540-22924-8, 8 p.Conference Paper

Towards a conceptual theory of indistinguishable objectsWOLFF, Karl Erich.Lecture notes in computer science. 2004, pp 180-188, issn 0302-9743, isbn 3-540-21043-1, 9 p.Conference Paper

CBC Based Inter-LMA Route Optimization for the Race Condition ProblemOH, Eunyoung; JEONG, Eunjoo; RYU, Sunme et al.WorldComp'2011wireless networks. International conference. 2011, pp 317-319, isbn 1-60132-187-2, 3 p.Conference Paper

RacerX: Effective, static detection of race conditions and deadlocksENGLER, Dawson; ASHCRAFT, Ken.Operating systems review. 2003, Vol 37, Num 5, pp 237-252, issn 0163-5980, 16 p.Conference Paper

Performance impact of different data value predictorsYONG XIAO; KUN DENG; XINGMING ZHOU et al.Lecture notes in computer science. 2004, pp 414-425, issn 0302-9743, isbn 3-540-23003-3, 12 p.Conference Paper

A race detection mechanism embedded in a conceptual model for the debugging of message-passing distributed programsCLAUDIO, Ana Paula; DUARTE CUNHA, Joao.Lecture notes in computer science. 2003, pp 57-65, issn 0302-9743, isbn 3-540-40788-X, 9 p.Conference Paper

Problématique des systèmes d'information supportés par des cartes à microprocesseur = Problematics of information systems with smart cardsHAYE, M.-P.INFORSID 92. Congrès. 1992, pp 227-243, isbn 2-906855-08-1Conference Paper

Why STM Can Be More Than A Research ToyDRAGOJEVIC, Aleksandar; FELBER, Pascal; GRAMOLI, Vincent et al.Communications of the ACM. 2011, Vol 54, Num 4, pp 70-77, issn 0001-0782, 8 p.Article

Scaling model checking of dataraces using dynamic informationSHACHAM, Ohad; SAGIV, Mooly; SCHUSTER, Assaf et al.Journal of parallel and distributed computing (Print). 2007, Vol 67, Num 5, pp 536-550, issn 0743-7315, 15 p.Article

ANALYZING PARALLEL PROGRAMS WITH PINBACH, Moshe; CHARNEY, Mark; TAL, Ady et al.Computer (Long Beach, CA). 2010, Vol 43, Num 3, pp 34-41, issn 0018-9162, 8 p.Article

Detecting and Tolerating Asymmetric RacesRATANAWORABHAN, Paruj; BURTSCHER, Martin; KIROVSKI, Darko et al.ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming. 2009, pp 173-184, isbn 978-1-60558-397-6, 1Vol, 12 p.Conference Paper

Detecting unaffected race conditions in message-passing programsPARK, Mi-Young; JUN, Yong-Kee.Lecture notes in computer science. 2004, pp 268-276, issn 0302-9743, isbn 3-540-23163-3, 9 p.Conference Paper

Atomic snapshots of shared memoryAFEK, Y; HAGIT ATTIYA; DOLEV, D et al.Journal of the Association for Computing Machinery. 1993, Vol 40, Num 4, pp 873-890, issn 0004-5411Article

On the analytical modeling of database concurrency controlYU, P. S; DIAS, D. M; LAVENBERG, S. S et al.Journal of the Association for Computing Machinery. 1993, Vol 40, Num 4, pp 831-872, issn 0004-5411Article

Committing Conflicting Transactions in an STMRAMADAN, Hany E; ROY, Indrajit; HERLIHY, Maurice et al.ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming. 2009, pp 163-171, isbn 978-1-60558-397-6, 1Vol, 9 p.Conference Paper

Associating synchronization constraints with data in an object-oriented languageVAZIRI, Mandana; TIP, Frank; DOLBY, Julian et al.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 334-345, issn 1523-2867, 12 p.Conference Paper

Existential label flow inference via CFL reachabilityPRATIKAKIS, Polyvios; FOSTER, Jeffrey S; HICKS, Michael et al.Lecture notes in computer science. 2006, pp 88-106, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 19 p.Conference Paper

A serializability violation detector for shared-memory server programsMIN XU; BODIK, Rastislav; HILL, Mark D et al.ACM SIGPLAN notices. 2005, Vol 40, Num 6, pp 1-14, issn 1523-2867, 14 p.Conference Paper

Thread-modular abstraction refinementHENZINGER, Thomas A; JHALA, Ranjit; MAJUMDAR, Rupak et al.Lecture notes in computer science. 2003, pp 262-274, issn 0302-9743, isbn 3-540-40524-0, 13 p.Conference Paper

Assuring and evolving concurrent programs: Annotations and policyGREENHOUSE, Aaron; SCHERLIS, William L.Proceedings - International Conference on Software Engineering. 2002, pp 453-463, issn 0270-5257, isbn 1-58113-472-X, 11 p.Conference Paper

Relaxed Memory Models : an Operational ApproachBOUDOL, Gérard; PETRI, Gustavo.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 392-403, issn 1523-2867, 12 p.Conference Paper

Formalization of fFSM model and its verificationPARK, Sachoun; KWON, Gihwon; HA, Soonhoi et al.Lecture notes in computer science. 2005, pp 361-372, issn 0302-9743, isbn 3-540-30881-4, 1Vol, 12 p.Conference Paper

UCM-driven testing of web applicationsAMYOT, Daniel; ROY, Jean-Francois; WEISS, Michael et al.Lecture notes in computer science. 2005, pp 247-264, issn 0302-9743, isbn 3-540-26612-7, 18 p.Conference Paper

Facetransfer : A system model of facial image renderingFU YUN; ZHENG NANNING; LIU JIANYI et al.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol3, 2180-2185Conference Paper